منابع مشابه
Operational Semantics of the Seal Calculus
As a distributed process calculus with localities and mobility of computational entities, Seal calculus is playing an important role in expressing key features such as security and mobility of Internet programming directly. However, little implementation technique proposed for the calculus, partly due to the complication of mobile computation, which fusions three important techniques: concurren...
متن کاملAn operational calculus for the Mould operad
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutat...
متن کاملThe Lambda Calculus and Operational Semantics
Content Plotkin explains what it means for a calculus to be the calculus of a language (via a Church-Rosser and a Curry-Feys Standardization theorems) and illustrates this point with the by-value and by-name versions of ISWIM and with by-value and by-name versions of the lambda calculus. This part alone lays the foundation for “reduction semantics.” In the second half of the paper, Plotkin pres...
متن کاملProbabilistic operational semantics for the lambda calculus
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values. Small-step and big-step semantics, inductively and coinductively defined, are given. Moreover, small-step and big-step semantics are shown to produce identical outcomes, both in call-by-value and in call-by-name...
متن کاملOperational semantics for formal tensorial calculus
With a view towards models of quantum computation, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an interpreter/simulator) is provided for this language in the form of a term rewrite systems. The linear-algebraic λ-calculus hereby constructed is linear in a different (yet related) sense to that, say, of the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1926
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1926-04162-8